Anwar Mamat

According to our database, Anwar Mamat authored at least 10 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2015

Dynamic Mobile Charger Scheduling in Heterogeneous Wireless Sensor Networks.

Hua Huang, Shan Lin, Lin Chen, Jie Gao, Anwar Mamat, Jie Wu

Proceedings of the 12th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2015

2012

Scheduling real-time divisible loads with advance reservations.

Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard

Real Time Syst., 2012

Efficient real-time divisible load scheduling.

Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard

J. Parallel Distributed Comput., 2012

2010

Real-time scheduling of divisible loads in cluster computing environments.

Xuan Lin, Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard

J. Parallel Distributed Comput., 2010

An Efficient Algorithm for Real-Time Divisible Load Scheduling.

Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

2008

Real-Time Divisible Load Schedulingwith Advance Reservation.

Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

Expression and Verification of Task Management in Collaborative Design.

Yi-Sheng An, Ren-Hou Li, Anwar Mamat

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007